Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence: Damien Hardy, Linux and C programming, 22 hours, L3, Université de Rennes I, France

• Licence: Damien Hardy, Real-time systems, 46 hours, L3, Université de Rennes I, France

• Master: Damien Hardy, Operating systems, 60 hours, M2, Université de Rennes I, France

• Master: Isabelle Puaut, Operating systems: concepts and system programming under Linux (SEL), 75 hours, M1, Université Rennes I, France

• Master: Isabelle Puaut, Operating systems internals (NOY), 55 hours, M1, Université Rennes I, France

• Master: Isabelle Puaut, Optimizing and Parallelizing Compilers (OPC), 6 hours, M2, Université Rennes I, France

• Master: Isabelle Puaut, Real-time systems, 48 hours, M1, Université Rennes I, France

• Master: Isabelle Puaut, Writing of scientific publications, 20 hours, M2/PhD, Université Rennes I, France

• Master: Sylvain Collange, Parallel Programming, 22 hours, M1, Université Rennes I, France

• Master: Sylvain Collange, GPU programming, 32 hours, M2, ESIR, France

• Master: Sylvain Collange, Advanced computer architecture, 4 hours, M2, Université Rennes I, France

• Master: Sylvain Collange, Advanced CUDA programming, 8 hours, M2, Université Pierre et Marie Curie Paris 6, France

• Master: André Seznec, Advanced Architectures, 8 hours, M2, Université de Rennes I, France

Supervision

• PhD: Nabil Hallou, Runtime Optimization of Binary Through Vectorization Transformations, Université Rennes I, Dec 2017, co-advisors E. Rohou and P. Clauss (EPI Camus Inria Strasbourg)

• PhD: Andrea Mondelli, Revisiting Wide Superscalar Microarchitecture, Université Rennes I, Sep 2017, co-advisors P. Michaud and A. Seznec

• PhD in progress: Rabab Bouziane, Compilation techniques to exploit novel low-power architecture and technology solutions, Université Rennes I, started Nov 2015, advisor E. Rohou and Abdoulaye Gamatié (LIRMM, Montpellier)

• PhD in progress, Viet Anh Nguyen, Worst-Case Execution Time (WCET) Estimation for Many-core Architectures, Université Rennes I, started Jan 2015, co-advisors I. Puaut and D. Hardy.

• PhD in progress, Benjamin Rouxel, Code optimizations for WCET calculation on many-core platforms, started Oct 2015, co-advisors I. Puaut (70 %) and S. Derrien (30 %) from the CAIRN group.

• PhD in progress: Arif Ali Ana-Pparakkal, Dynamic Function Specialization, Université Rennes I, started Feb 2015, advisor E. Rohou

• PhD in progress: Simon Rokicki, Compilation dynamique hybride logiciel/matériel, Université Rennes I, started Sep 2015, co-advisors E. Rohou and Steven Derrien (CAIRN)

• PhD in progress: Kalitzidis Kleovoulos, Ultrawide Issue Superscalar Processors, Université Rennes I, started Dec 2016, advisor A. Seznec

• PhD in progress: Niloofar Charmchi, Hardware prefetching and related issues, Université Rennes I, started Jan 2017, advisor A. Seznec

• PhD in progress: Daniel Rodriguez Carvalho, Towards a compressed memory hierarchy, Université Rennes I, started Oct 2017, advisor A. Seznec

Juries

Isabelle Puaut was a member of the following committees:

• Antoine Blin, Vers une utilisation efficace des processeurs multi-cœurs dans les systèmes embarqués à criticités multiples, Université Pierre et Marie Curie (UPMC), January 2017 (reviewer)

• Laure Abdallah, Worst-case delay analysis of core-to-IO flows over many-cores architectures, Université de Toulouse, April 2017 (reviewer)

• Stefanos Skalistis, Efficient adaptive hard real-time multi-processor systems, École Polytechnique Fédérale de Lausanne (EPFL), October 2017 (reviewer)

• Fabrice Guet, Étude de l'application de la théorie des valeurs extrêmes pour l’estimation fiable et robuste du pire temps d’exécution probabiliste, Université de Toulouse, December 2017 (examiner)

• Nabil Hallou, Runtime optimization of binary through vectorization transformations, Université de Rennes I, December 2017 (examiner)

• Quentin Perret, Predictable execution on many-core processors, Université de Toulouse, April 2017 (examiner)

• Soukayna Msirdi, Modular Avionics Software Integration on Multi-Core COTS, Université de Toulouse, July 2017 (reviewer)

Erven Rohou was a member of the following committees:

• Nabil Hallou, Runtime optimization of binary through vectorization transformations, Université de Rennes I, December 2017.

• Laurent Georget, Suivi de flux d’information correct pour les systèmes d’exploitation Linux, Université de Rennes I, September 2017

• Mohammed Boussaa, Automatic Non-Functional Testing and Tuning of Configurable Generators, Université de Rennes I, September 2017.

• Thierno Barry, Sécurisation à la compilation de logiciels contre les attaques en fautes, Université de Lyon, CEA Grenoble, November 2017.

• Shixiong Xu, Data Layout Oriented Compilation Techniques in Vectorization for Multi-/Many-cores, Trinity College, Dublin, Ireland, June 2017.

Erven Rohou was an external expert in the recruitment committee of Alexandra Jimborean, Uppsala Universitet, Sweden.

Erven Rohou was a member of the selection committee of Université de Paris-Est Marne-la-Vallée.